Invariant Measures Concentrated on Countable Structures
نویسندگان
چکیده
Let L be a countable language. We say that a countable infinite L-structure M admits an invariant measure when there is a probability measure on the space of L-structures with the same underlying set as M that is invariant under permutations of that set, and that assigns measure one to the isomorphism class of M. We show that M admits an invariant measure if and only if it has trivial definable closure, i.e., the pointwise stabilizer in Aut(M) of an arbitrary finite tuple of M fixes no additional points. When M is a Fräıssé limit in a relational language, this amounts to requiring that the age of M have strong amalgamation. Our results give rise to new instances of structures that admit invariant measures and structures that do not.
منابع مشابه
Invariant measures via inverse limits of finite structures
Building on recent results regarding symmetric probabilistic constructions of countable structures, we provide a method for constructing probability measures, concentrated on certain classes of countably infinite structures, that are invariant under all permutations of the underlying set that fix all constants. These measures are constructed from inverse limits of measures on certain finite str...
متن کاملA classification of orbits admitting a unique invariant measure
We consider the space of countable structures with fixed underlying set in a given countable language. We show that the number of ergodic probability measures on this space that are S∞-invariant and concentrated on a single isomorphism class must be zero, or one, or continuum. Further, such an isomorphism class admits a unique S∞-invariant probability measure precisely when the structure is hig...
متن کاملCountable Infinitary Theories Admitting an Invariant Measure
Let L be a countable language. We characterize, in terms of definable closure, those countable theories Σ of Lω1,ω(L) for which there exists an S∞-invariant probability measure on the collection of models of Σ with underlying set N. Restricting to Lω,ω(L), this answers an open question of Gaifman from 1964, via a translation between S∞-invariant measures and Gaifman’s symmetric measure-models w...
متن کاملOn the two-wavelet localization operators on homogeneous spaces with relatively invariant measures
In the present paper, we introduce the two-wavelet localization operator for the square integrable representation of a homogeneous space with respect to a relatively invariant measure. We show that it is a bounded linear operator. We investigate some properties of the two-wavelet localization operator and show that it is a compact operator and is contained in a...
متن کاملA local approach to the entropy of countable fuzzy partitions
This paper denes and investigates the ergodic proper-ties of the entropy of a countable partition of a fuzzy dynamical sys-tem at different points of the state space. It ultimately introducesthe local fuzzy entropy of a fuzzy dynamical system and proves itto be an isomorphism invariant.
متن کامل